From: Jan Beulich Date: Tue, 11 Oct 2022 12:22:24 +0000 (+0200) Subject: x86/shadow: tolerate failure of sh_set_toplevel_shadow() X-Git-Tag: archive/raspbian/4.17.0-1+rpi1^2~33^2~153 X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https:/%22bookmarks:///%22http:/www.example.com/cgi/%22https:/%22bookmarks:/?a=commitdiff_plain;h=eac000978c1feb5a9ee3236ab0c0da9a477e5336;p=xen.git x86/shadow: tolerate failure of sh_set_toplevel_shadow() Subsequently sh_set_toplevel_shadow() will be adjusted to install a blank entry in case prealloc fails. There are, in fact, pre-existing error paths which would put in place a blank entry. The 4- and 2-level code in sh_update_cr3(), however, assume the top level entry to be valid. Hence bail from the function in the unlikely event that it's not. Note that 3-level logic works differently: In particular a guest is free to supply a PDPTR pointing at 4 non-present (or otherwise deemed invalid) entries. The guest will crash, but we already cope with that. Really mfn_valid() is likely wrong to use in sh_set_toplevel_shadow(), and it should instead be !mfn_eq(gmfn, INVALID_MFN). Avoid such a change in security context, but add a respective assertion. This is part of CVE-2022-33746 / XSA-410. Signed-off-by: Jan Beulich Acked-by: Tim Deegan Reviewed-by: Andrew Cooper --- diff --git a/xen/arch/x86/mm/shadow/common.c b/xen/arch/x86/mm/shadow/common.c index 3e1e43a389..a1961291a2 100644 --- a/xen/arch/x86/mm/shadow/common.c +++ b/xen/arch/x86/mm/shadow/common.c @@ -2521,6 +2521,7 @@ void sh_set_toplevel_shadow(struct vcpu *v, /* Now figure out the new contents: is this a valid guest MFN? */ if ( !mfn_valid(gmfn) ) { + ASSERT(mfn_eq(gmfn, INVALID_MFN)); new_entry = pagetable_null(); goto install_new_entry; } diff --git a/xen/arch/x86/mm/shadow/multi.c b/xen/arch/x86/mm/shadow/multi.c index e10de449f1..a51ec5d4f5 100644 --- a/xen/arch/x86/mm/shadow/multi.c +++ b/xen/arch/x86/mm/shadow/multi.c @@ -3316,6 +3316,11 @@ static void cf_check sh_update_cr3(struct vcpu *v, int do_locking, bool noflush) if ( sh_remove_write_access(d, gmfn, 4, 0) != 0 ) guest_flush_tlb_mask(d, d->dirty_cpumask); sh_set_toplevel_shadow(v, 0, gmfn, SH_type_l4_shadow, sh_make_shadow); + if ( unlikely(pagetable_is_null(v->arch.paging.shadow.shadow_table[0])) ) + { + ASSERT(d->is_dying || d->is_shutting_down); + return; + } if ( !shadow_mode_external(d) && !is_pv_32bit_domain(d) ) { mfn_t smfn = pagetable_get_mfn(v->arch.paging.shadow.shadow_table[0]); @@ -3372,6 +3377,11 @@ static void cf_check sh_update_cr3(struct vcpu *v, int do_locking, bool noflush) if ( sh_remove_write_access(d, gmfn, 2, 0) != 0 ) guest_flush_tlb_mask(d, d->dirty_cpumask); sh_set_toplevel_shadow(v, 0, gmfn, SH_type_l2_shadow, sh_make_shadow); + if ( unlikely(pagetable_is_null(v->arch.paging.shadow.shadow_table[0])) ) + { + ASSERT(d->is_dying || d->is_shutting_down); + return; + } #else #error This should never happen #endif